https://signalduo.com/post/how-to-find-missing-side-lengths-in-proportional-triangles